proof theory
[pru:f ˈθiəri]
[网络] 证明论；证明论教材；证明理论
[网络] 证明论；证明论教材；证明理论
热门查询
- affirming vt. 肯定；断言 vi. 确认；断言
- Cherwell n. (Cherwell)人名；(英)彻韦尔
- iridescent adj. 彩虹色的；闪光的
- sponsoring adj. 发起人的 v. 赞助（sponsor的ing形式）；发起
- determinacy n. 确定性；坚定性
- seem vi. 似乎；像是；装作 n. (Seem)人名；(英)西姆
- infantry n. 步兵；步兵团
- Thorson [人名] 索尔森
- propel vt. 推进；驱使；激励；驱策
- scientists n. 科学家（scientist的复数）
- rangoon n. 仰光（缅甸前首都）
- squirt n. 喷射；注射 vt. 喷湿 vi. 喷出
- psychopathic n. 精神变态者 adj. 精神病的；精神错乱的
- sesame n. 芝麻
- Moran [人名] [英格兰人姓氏] 莫兰 Morant的变体，重音通常在第二个音节; [人名] [爱尔兰姓氏] 莫兰盖尔语姓氏的英语形式，来源于别名，含义是“大”(great,large); [地名] [韩国] 牡丹; [地名] [美国] 莫兰
- prank n. 恶作剧，开玩笑；戏谑 vt. 装饰；打扮 vi. 炫耀自己；胡闹
- fallopian tube n. 输卵管 [网络] 喇叭管；法娄皮欧氏管；输卵管内
- scintillating adj. 闪烁的；才气横溢的 v. 闪耀（scintillate的ing形式）
- autofocus n. 自动聚焦
- missus n. 太太（等于missis）
考试词汇表
- brackish-water crab
- brackish-water lake
- bract machilus bark
- bractlet, bracteole
- bradford reed count
- bradley-terry model
- bradyadministration
- bradypus variegatus
- bradysia dissinilis
- braid photographing
- braid reinforcement
- braided hose insert
- braided molded hose
- braided oxygen hose
- braided silk suture
- braided twill weave
- braided-stream sand
- braiding, reversing
- braille translation
- braille-translation
